TSTP Solution File: DAT212^1 by Nitpick---2016